Gilles Barthe: шукати на сайті Z-Library

Вільний доступ до знань та культури

Don't use scam websites

Книги (48)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Cambridge University Press

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Рік:

2021

Мова:

english

Файл:

PDF, 4.12 MB

5.0 / 5.0

english, 2021

2

Foundations of probabilistic programming

Foundations of probabilistic programming

Cambridge University Press

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe (eds.)

Рік:

2021

Мова:

english

Файл:

PDF, 4.32 MB

0 / 5.0

english, 2021

3

La guerre sans fin: Israël-Palestine

La guerre sans fin: Israël-Palestine

Editions de l'Aube

Benjamin Barthe & Gilles Paris & Piotr Smolar

Рік:

2024

Мова:

french

Файл:

EPUB, 480 KB

0 / 5.0

french, 2024

4

Les nouvelles voies de l'Amérique latine: fragmentations régionales, reconfigurations internationales

Les nouvelles voies de l'Amérique latine: fragmentations régionales, reconfigurations internationales

Christophe Ventura, Carole Gomez, Pascal Boniface, Marc Verzeroli, Boris Cyrulnik, Bastien Nivet, Nathalie Belhoste, Gaspard Estrada, Temir Porras Ponceleón, Celso Amorim, Jean Rivelois, gilles Bataillon, Jean-Pierre Bel, Jean-Jacques Kourliandsky, Barthé

Рік:

2018

Мова:

french

Файл:

EPUB, 3.64 MB

0 / 4.0

french, 2018

5

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel (auth.), Gilles Barthe (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.25 MB

0 / 0

english, 2011

6

La guerre sans fin : Israël-Palestine

La guerre sans fin : Israël-Palestine

Éditions de l'Aube

Benjamin Barthe & Gilles Paris & Piotr Smolar & Gilles Paris & Benjamin Barthe & Piotr Smolar

Рік:

2024

Мова:

french

Файл:

EPUB, 486 KB

0 / 0

french, 2024

7

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 2.74 MB

0 / 0

english, 2008

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 4.02 MB

0 / 0

english, 2005

9

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.31 MB

0 / 0

english, 2009

10

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.56 MB

0 / 0

english, 2011

11

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel (auth.), Gilles Barthe (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.21 MB

0 / 0

english, 2011

12

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Springer International Publishing

Gilles Barthe, Evangelos Markatos, Pierangela Samarati (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 11.83 MB

0 / 0

english, 2016

13

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 3.08 MB

0 / 0

english, 2012

14

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 6.30 MB

0 / 0

english, 2008

15

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

GILLES BARTHE [GILLES BARTHE]

Мова:

spanish

Файл:

EPUB, 1.19 MB

5.0 / 0

spanish

16

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 3.44 MB

0 / 5.0

english, 2012

17

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 4.23 MB

0 / 0

english, 2005

18

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 1.73 MB

0 / 0

english, 2006

19

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 2.68 MB

0 / 5.0

english, 2012

20

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

Мова:

spanish

Файл:

MOBI , 2.15 MB

5.0 / 0

spanish

21

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 5.57 MB

0 / 0

english, 2012

22

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.37 MB

0 / 0

english, 2009

23

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 5.79 MB

0 / 0

english, 2012

24

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

Мова:

spanish

Файл:

AZW3 , 2.47 MB

5.0 / 0

spanish

25

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 3.07 MB

0 / 5.0

english, 2012

26

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

GILLES BARTHE [GILLES BARTHE]

Мова:

english

Файл:

LIT , 1.75 MB

5.0 / 0

english

27

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

FOUNDATIONS OF PROBABILISTIC PROGRAMMING

Мова:

spanish

Файл:

FB2 , 3.61 MB

5.0 / 0

spanish

28

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

Рік:

2010

Мова:

english

Файл:

PDF, 4.07 MB

0 / 0

english, 2010

29

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 3.09 MB

0 / 0

english, 2012

30

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 8.66 MB

0 / 0

english, 2011

31

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 2.33 MB

0 / 0

english, 2012

32

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 12.56 MB

0 / 0

english, 2004

33

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 2.95 MB

0 / 0

english, 1996

34

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 7.96 MB

0 / 0

english, 2008

35

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 2.20 MB

0 / 0

english, 2006

36

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 4.93 MB

0 / 0

english, 2008

37

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 11.45 MB

0 / 0

english, 2013

38

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 10.68 MB

0 / 0

english, 2013

39

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.91 MB

0 / 0

english, 2009

40

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 7.63 MB

0 / 0

english, 2011

41

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.28 MB

0 / 0

english, 2011

42

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.23 MB

0 / 0

english, 2002

43

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.45 MB

0 / 0

english, 2009

44

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 12.23 MB

0 / 0

english, 2013

45

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Hofmann, Mariela Pavlova (auth.), Gilles Barthe, Cédric Fournet (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 5.28 MB

0 / 0

english, 2008

46

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 5.09 MB

0 / 0

english, 2010

47

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 7.55 MB

0 / 0

english, 2002

48

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.41 MB

0 / 0

english, 2009